<div>
  This field works in conjunction with the proxy server field to specify the
  HTTP proxy port.
</div>
